2321. Verification, Model Checking, and Abstract Interpretation
پدیدآورنده : \ Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Logics and Meanings of Programs.,نرمافزار -- راستیآزمایی -- کنگره ها ,نرمافزار -- مهندسی-- کنگرهها
رده :
QA
76
.
76
.
V47
2015
E-Book
,
2322. Verification and evaluation of computer and communication systems :
پدیدآورنده : Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
2323. Verified software :
پدیدآورنده : Ruzica Piskac, Philipp Rümmer (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
2324. Verified software: theories, tools, experiments
پدیدآورنده : Rajeev Joshi, Peter Müller, Andreas Podelski (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Verification, Congresses
رده :
QA76
.
76
.
V47
V73
2012eb
2325. Virtual design and manufacture
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، CAD/CAM systems,Congresses ، Virtual reality,Congresses ، Engineering design-- Data processing,Congresses ، Manufacturing processes-- Computer simulation
رده :
TS
155
.
6
.
V57
2000
2326. Virtual prototyping : virtual environments and the product design process : Proceedings of the IFIP WG 5.10 Workshop on Virtual Environments and Their Applications and Virtual Prototyping, 1994
پدیدآورنده : edited by Joachim Rix, Stefan Haas and Jose Teixeira
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Virtual computer systems - Congresses , Prototypes, Engineering - Congresses , New products - Design - Computer simulation - Congresses , Design, Industrial - Computer simulation - Congresses
رده :
QA
76
.
9
.
V5
I34
1994
2327. Visualization and intelligent design in engineering and architecture
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Computer graphics - Congresses,Computer-aided design - Congrsses,Engineering design - Congrasses,Architecture - Congresses
رده :
T385
.
I52
1993
2328. WISE 2020 :--Web information systems engineering
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Systems engineering ; Congresses. ;
2329. WISE 2020 :--Web information systems engineering
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Systems engineering ; Congresses. ;
2330. Wearable robotics :
پدیدآورنده : editors, Maria Chiara Carrozza, Silvestro Micera and José L. Pons.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Robotics, Congresses.,Wearable technology, Congresses.,Biomedical Engineering.,Innovation/Technology Management.,Rehabilitation Medicine.,Robotics and Automation.,User Interfaces and Human Computer Interaction.,Biomedical engineering.,Rehabilitation.,Research & development management.,Robotics.,Robotics.,TECHNOLOGY & ENGINEERING / Engineering (General),User interface design & usability.,Wearable technology.
رده :
TJ211
2331. Web Information Systems Engineering – WISE 2015
پدیدآورنده : \ edited by Jianyong Wang, Wojciech Cellary, Dingding Wang, Hua Wang, Shu-Ching Chen, Tao Li, Yanchun Zhang.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Computer science.,Computer networks.,نرمافزار -- مهندسی -- کنگرهها ,علوم کامپیوتر,شبکههای رایانه ای
رده :
QA76
.
758
.
W41
2015
E-Book
,
2332. Web engineering
پدیدآورنده : / David Lowe, Martin Gaedke (eds.)
کتابخانه: کتابخانه مرکزی و مرکز نشر دانشگاه صنعتی بیرجند (خراسان جنوبی)
موضوع : World Wide Web--Congresses
رده :
TK5105
.
888
.
I28
2005
2333. Web engineering :
پدیدآورنده : Maxim Bakaev, Flavius Frasincar, In-Young Ko (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Software engineering, Congresses.,Web services, Congresses.,World Wide Web, Congresses.,Software engineering.,Web services.,World Wide Web.
رده :
TK5105
.
888
2334. Web engineering
پدیدآورنده : Martin Gaedke, Michael Grossniklaus, Oscar Díaz (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : World Wide Web, Congresses
رده :
TK5105
.
888
.
I28
2009
2335. Web engineering
پدیدآورنده : Marco Brambilla, Takehiro Tokuda, Robert Tolksdorf (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Software engineering, Congresses,Web services, Congresses,World Wide Web, Congresses
رده :
TK5105
.
888
.
I28
2012eb
2336. Web engineering and peer-to-peer computing : Networking 2002 workshops, Pisa, Italy, May 2002 : revised papers
پدیدآورنده : Enrico Gregori...]et al.[. )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Web servers,Congresses ، Peer-to-Peer architecture )Computer networks(
رده :
QA
76
.
L28
Vol
.
2376
2337. Web engineering : international conference, ICWE 2003, Oviedo, Spain, July 2003 : proceedings
پدیدآورنده : Juan Manuel Cueva Lovelle ... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، World Wide Web
رده :
QA
76
.
L28
Vol
.
2722
2338. Web engineering : 5th Intenational Conference, ICWE 2005, Sydney, Australia, July 27-29, 2005 : proceedings
پدیدآورنده : David Lowe, Martin Gaedke )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، World Wide Web
رده :
QA
76
.
L28
Vol
.
3579
2339. Web engineering : 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004 : proceedings
پدیدآورنده : Nora Koch, Piero Fraternali, Martin Wirsing )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، World Wide Web
رده :
QA
76
.
L28
Vol
.
3140
2340. Web information systems - WISE 2004 Workshops : WISE 2004 International Workshops, Brisbane, Australia, November 22-24, 2004 : proceedings
پدیدآورنده : Christoph Bussler...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Information storage and retrieval systems,Congresses ، Web databases
رده :
QA
76
.
L28
Vol
.
3307